退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:密集定时的Petri网:检查Zenoness,令牌活跃度和有界度
Parosh Abdulla; Pritha Mahata; Richard Mayr;
机译:密集定时陪替氏网:检查芝诺度,代币活跃度和有界度
机译:嵌套Petri网的有界性与活性的组成性。
机译:集中式和分散式监督控制器设计,可在Petri网中强制执行有界性,活跃性和可逆性
机译:密集定时Petri网的Zenoness,句法有界和令牌活跃性的可判定性
机译:有界Petri网的符号模型检查的编码方案比较。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:密集时间petri网:检查Zenoness,令牌活力和有界性
机译:计算机可读记录媒体记录器状态令牌Petri网模型
机译:驱动元件的连续运动改变方法,包括通过驱动产生驱动元件的连续运动,并将驱动元件的动能从能量存储传递到被固定地固定的从动元件。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。